A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·23h·
Discuss: Hacker News, r/programming, r/rust
🧮SMT Solvers
"Rustmaker" Merged For LibreOffice 26.2 Development As Latest Rust Integration
phoronix.com·14h
🦀Rust
Semantic Dictionary Encoding
falvotech.com·6h·
Discuss: Hacker News
💾Binary Formats
A Hands-on Comparison of Best MCP Servers for Rust Developers
shuttle.dev·21h
🦀Rust
Rustlantis: Randomized Differential Testing of the Rust Compiler
plf.inf.ethz.ch·33m·
Discuss: Hacker News
🦀Rust Compiler Internals
[$] Fighting human trafficking with self-contained applications
lwn.net·1h
🦀Rust
Text-to-SQL Oriented to the Process Mining Domain: A PT-EN Dataset for Query Translation
arxiv.org·17h
🔍Information Retrieval
Conquering the LLM Memory Wall: How to Run 2–4x Longer Contexts with a Single Line of Code
reddit.com·9h·
Discuss: r/LocalLLaMA
🧠LLM Inference
Nipdf: PDF Reader in Rust
github.com·3h·
Discuss: Hacker News
🦀Rust
Baking with Rails at scale: recipes in Ruby, cookware from Go, C, and Rust
evilmartians.com·21h
🏹Apache Arrow
Casilda 1.0 released!
blogs.gnome.org·7h
🦋Tauri
StringWa.rs on GPUs: Databases & Bioinformatics 🦠
ashvardanian.com·2h·
Discuss: Hacker News, r/programming
🗂️Vector Indexes
Ashen-wow, pure Vanilla World of Warcraft server
ashen-wow.space·11h·
Discuss: Hacker News
🦀Rust Web Services
Survey pinpoints Rust compiler pain points
infoworld.com·1h
🦀Rust
CI for Libvirt/Bhyve on FreeBSD
empt1e.blogspot.com·19h·
Discuss: Hacker News
🔓Open Source Software
How Linear Implemented Multi-Region Support For Customers
blog.bytebytego.com·5h
🌐Distributed systems
Which NPM package has the largest version number?
adamhl.dev·17h·
Discuss: Hacker News
🔬Rust Profiling
Marble Is Shipping Faster with Neon Branching
neon.com·5h
🏹Apache Arrow
Hosting a Website on a Disposable Vape
hackaday.com·1h
🏠Self-hosting
How to build a Laravel Blade–like template engine in TypeScript?
reddit.com·56m·
Discuss: r/typescript
📘Typescript